"reversed", as in it actually clears the SMI bit in the VMCB. If you
have a new enough chip (or new BIOS), the SMI bit HAS TO BE SET or it
gives exitcode -1.
Signed-off-by: Mats Petersson <mats.petersson@amd.com>
GENERAL1_INTERCEPT_RDTSC | GENERAL1_INTERCEPT_PUSHF |
GENERAL1_INTERCEPT_SWINT | GENERAL1_INTERCEPT_POPF |
GENERAL1_INTERCEPT_IRET | GENERAL1_INTERCEPT_PAUSE |
- GENERAL1_INTERCEPT_TASK_SWITCH | GENERAL1_INTERCEPT_SMI
+ GENERAL1_INTERCEPT_TASK_SWITCH
);
/* turn on the general 2 intercepts */